Implication Details
Assumptions: exact filtered colimits, self-dual
Conclusions: exact cofiltered limits
Reason: This holds by self-duality.
Assumptions: exact filtered colimits, self-dual
Conclusions: exact cofiltered limits
Reason: This holds by self-duality.